A Multi-level, Higher-order Uniication Approach to Ellipsis
نویسندگان
چکیده
The Higher-Order Uniication approach to ellipsis presented in DSP91] lacks an interface with linguistic modules other than semantics. As a result, it cannot handle such phenomena as the many-pronouns puzzle or the distinction between full and pronominal NPs. In this paper, we extend GK96]'s Higher-Order Coloured Uniication approach to handle those cases.
منابع مشابه
Multi-paradigm Logic Programming towards a Higher Order Uniication Based on Proof Nets
We study a higher order uniication procedure based on proof nets. In this paper, we present higher order uniication algorithm for intuitionistic implicational multiplicative fragment of proof nets and show termination and soundness for the algorithm.
متن کاملA Computational Theory of Context Dependence
This paper describes a reversible system for the interpretation and generation of sentences containing context dependent constructs like pronouns, focus, and ellipsis. A variant of`quasi-logical form' is used as an underspeci-ed meaning representation, related tòresolved logical forms' viàconditional equivalences'. These equivalences deene the semantics of contextually dependent constructs with...
متن کاملHigher Order Unification via Explicit Substitutions
Higher order uniication is equational uniication for-conversion. But it is not rst order equational uniication, as substitution has to avoid capture. Thus the methods for equational uniication (such as narrowing) built upon grafting (i.e. substitution without renaming), cannot be used for higher order uniication, which needs speciic algorithms. Our goal in this paper is to reduce higher order u...
متن کاملA unification-based approach to multiple VP Ellipsis resolution
An assumption shared by many theories of discourse is that discourse structure constrains anaphora resolution (cf. Grosz and Sidner 1986] for deenite NPs, Lascarides and Asher 1991], Nakhimovsky 1988] for temporal anaphora, Webber 1990] for deictic pronouns and Gardent 1991], Pr ust and Scha 1990] for VP ellipsis). The aim of this paper is (i) to show that this assumption also applies to multip...
متن کاملFocus and Higher{order Uniication
Pulman has shown that Higher{Order Uniication (HOU) can be used to model the interpretation of focus. In this paper , we extend the uniication{based approach to cases which are often seen as a test{bed for focus theory: utterances with multiple focus operators and second occurrence expressions. We then show that the resulting analysis favourably compares with two prominent theories of focus (na...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997